/*
 * String.cpp
 *
 *  Created on: 17.04.2012
 *      Author: Eugene Kornykhin
 */

#include "String.h"

String::String(string value)
: value(value) {

}

String::~String() {

}

string String::getValue() const {
	return value;
}

void String::execute(Interpreter& interpreter) {
	interpreter.pushPolizElement(*this);
}

PolizPosition String::next_position_after(PolizPosition p) const {
	return p.next();
}

bool String::isHalt() const {
	return false;
}

String* String::clone(const Poliz &) const {
	return new String(value);
}

string String::toString() const {
	return "[\"" + value + "\"]";
}
